Second order inductive logic and Wilmers' principle
نویسندگان
چکیده
منابع مشابه
Second order inductive logic and Wilmers' principle
We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.
متن کاملSearching for Inductive Proofs in Second-Order Intuitionistic Logic
Several researchers have studied the problem of inductive reasoning about PROLOG programs, beginning with an early paper by Clark and Tarnlund [2]. The pioneering work of Kanamori and Seki [11] proposed an extended model of PROLOG execution and showed how this extended model could be used for program veri cation. A companion paper by Kanamori and Fujita [10] analyzed several techniques for the ...
متن کاملSecond-Order Equational Logic
We provide an extension of universal algebra and its equational logic from first to second order. Conservative extension, soundness, and completeness results are established.
متن کاملFirst-Order Logic, Second-Order Logic, and Completeness
Both firstand second-order logic (FOL and SOL, respectively) as we use them today were arguably created by Frege in his Begriffsschrift – if we ignore the notational differences. SOL also suggests itself as a natural, and because of its much greater strength, desirable extension of FOL. But at least since W. V. Quine’s famous claim that SOL is “set theory in sheep’s clothing” it is widely held ...
متن کاملTowards Inductive Generalization in Higher Order Logic
øncestor(X,Z),øncestor(Z,Y)' (1) Y XYY V Z .I e s s Jhøn(X,Y ) * less-than(X,Z),lest-than(Z,Y)' (2) which are the generalisation respectiveþ of the facts lesslhan(!,3\, Iesslhan(2,4), " ' and the facts an ce stor (i ohn, st eo e), ance st or (st ea e, mi k e),''' The clauses in (1) and (2) a,re very similarjn the sense that (1) can be obtained from (2) by exchanging the pt"¿iàiu symbol ancestot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2014
ISSN: 1570-8683
DOI: 10.1016/j.jal.2014.07.002